منابع مشابه
The 2nd Verified Software Competition: Experience Report
We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8–10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.
متن کاملOn the mechanism of oscillations in the "beating mercury heart".
The discovery of a class of electrochemical-mechanical oscillators-similar to the beating mercury heart -are reported and characterized. Chemical and physical effects on the voltage-time oscillations in these systems have been measured and a mechanism consistent with these effects is given. Interesting cross-catalytic effects involving the electrocapillarity of mercury are proposed to be the or...
متن کاملReport from the 2nd Workshop on Extremely Large Databases
The complexity and sophistication of large scale analytics in science and industry have advanced dramatically in recent years. Analysts are struggling to use complex techniques such as time series analysis and classification algorithms because their familiar, powerful tools are not scalable and cannot effectively use scalable database systems. The 2 Extremely Large Databases (XLDB) workshop was...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Textile Machinary Society
سال: 1952
ISSN: 1883-8715
DOI: 10.4188/transjtmsj1948.5.709